#include<stdio.h>
#include "testhead.h"
void test()
{
	printf("%d\n",a);
}
